additive contravariant functor

加性反变函子